more on this theme     |     more from this thinker     |     more from this text

---

Single Idea 10297

[filed under theme 5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems ]

Full Idea

The Löwenheim-Skolem theorem is usually taken as a sort of defect (often thought to be inevitable) of the first-order logic.

Gist of Idea

The Löwenheim-Skolem theorem seems to be a defect of first-order logic

Source

Stewart Shapiro (Higher-Order Logic [2001], 2.4)

Book Ref

'Blackwell Guide to Philosophical Logic', ed/tr. Goble,Lou [Blackwell 2001], p.49

---

A Reaction

[He is quoting Wang 1974 p.154]